HPF Analysis and Code Generation using Integer Sets

The core of the Rice dHPF compiler for High Performance Fortran is a practical, executable, equa-tional framework for data parallel program analysis and optimization. This framework, based on abstract operations on sets of integers, greatly simpliies the implementation of many key analysis, optimization and code generation tasks (even with a general computation partitioning model), and yet enhances their generality and exibility. This paper describes the equational framework, tradeoos in its implementation, the formulation and implementation of important analyses and optimizations within the framework, and a hierarchical code generation strategy to support the framework.